Corrigendum to my paper: ``Note on definitional reductions''.
نویسندگان
چکیده
منابع مشابه
Comments on my 6π paper
This note, which discusses [4], has two purposes: (1) to answer a doubt expressed by Nitsche [6] §A29 about the use of the theorem of Barbosa-do Carmo, and (2) to discuss the last part of the argument, where the finiteness results of [2] and [3] are applied. We show that in the case at hand, these arguments can be simplified-the full power of those difficult results is not really needed. Regard...
متن کاملA Note on Critical Independence Reductions
A criterion is specified for identifying graphs with nonempty critical independent sets. A polynomial-time algorithm is given for finding them and, thus, reducing the problem of finding a maximum independent set (MIS) in such a graph to finding a MIS in a proper subgraph. This algorithm can be extended to identify maximum cardinality critical independent sets, answering a question of Butenko an...
متن کاملA Note on Manning Reductions and Navigation
controlled ? Pilotage is obviously impractical and should be unnecessary. The masters concerned know the area all too well, but they do not know so much about routing or radio control. Nor are they always particularly amenable to instruction or advice when they get it, for the control system would have to be extended to such crafts as fishing boats, whose present habits in congested waters leav...
متن کاملA Note on Dolich’s Paper
The proof of the above theorem, derived from ideas of A. Dolich, is more direct then the original proof of Theorem 0.1. Unfortunately, Theorem 0.2 fails in the case when φ(C, ā) is not closed and bounded. Our proof of Theorem 0.1 is similar to the proof of Y. Peterzil and A. Pillay, and is also more direct then the original proof of A. Dolich. We also derive an appropriate generalization of The...
متن کاملTechnical note on the paper :
In Section 3.1 of [1] a methodology is presented to compute the salient points of a 3D mesh based on the computation of its protrusion function, see Equation (1) in [1]. Explicitly each point υ of the Mesh is examined as a potential salient point. Specifically a geodesic neighborhood is constructed for each point of the mesh and it is considered as a salient point if it is the local maximum of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1969
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093893790